alpha h = fmap h fa